normalization of wave function in quantum mechanics